invariant function

不變函數